منابع مشابه
Sequent systems for negative modalities
Non-classical negations may fail to be contradictory-forming operators in more than one way, and they often fail also to respect fundamental meta-logical properties such as the replacement property. Such drawbacks are witnessed by intricate semantics and proof systems, whose philosophical interpretations and computational properties are found wanting. In this paper we investigate congruential n...
متن کاملNegative Modalities, Consistency and Determinedness
We study a modal language for negative operators —an intuitionistic-like negation and its paraconsistent dual— added to (bounded) distributive lattices. For each non-classical negation an extra operator is hereby adjoined in order to allow for standard logical inferences to be opportunely restored. We present abstract characterizations and exhibit the main properties of each kind of negative mo...
متن کاملIt ain't necessarily so: Basic sequent systems for negative modalities
We look at non-classical negations and their corresponding adjustment connectives from a modal viewpoint, over complete distributive lattices, and apply a very general mechanism in order to offer adequate analytic proof systems to logics that are based on them. Defining non-classical negations within usual modal semantics automatically allows one to treat equivalent formulas as synonymous, and ...
متن کاملInventions on displaying windows-update
Windows are used quite frequently in a GUI environment. The greatest advantage of using windows is that each window creates a virtual screen space. Hence, although the physical screen space is limited to a few inches, use of windows can create unlimited screen space to display innumerable items. The use of windows facilitates the user to open and interact with multiple programs or documents sim...
متن کاملDisplaying Bivariate Data
Numerical techniques are too often designed to yield specific answers to rigidly defined questions. Graphical techniques are less confining. They aid in understanding the numerous relationships reflected in the data. They help reveal the existence of peculiar looking observations or subsets of the data. It is difficult to obtain similar information from numerical procedures. In this article, by...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2017
ISSN: 2300-9802,1425-3305
DOI: 10.12775/llp.2017.023